易知 $\bigcup_{i = n}^\infty A_i$ 是关于 $n$ 的单调减序列, 故

从而得证.